/
  • Search Results for '(b)(ex10.7)1 8x:(cube(x)^large(x))$:9x(cube(x)^large(x))3 Tet(c)!:cube(c)4 Tet(c)5 8x:(cube(x)^large(x))theargumenthasthetruth Functionalform:1 A!(b!c)2 D$:a3 E!:b4 E5 Dthisisnottautologicallyvalid:by'